Modeling and verifying active structural control systems

Modeling and Verifying Active XML Artifacts

Shared evolving data is central to an increasing range of human activities. In response to the need for computerized support of such activities, the notion of business artifact has been proposed at IBM as a model of such evolving data [1]. The model captures both the flow of control (workflow) of the application and the evolution of the relevant data (data cycle); see [2] for a brief survey. In...

Modeling and Verifying Systems using

Acoustics Field and Active Structural Acoustic Control Modeling in ANSYS

This article attempts to examine acoustic finite element analysis coupled with structure, and provides the necessary information to apply ANSYS for a wide class of structural acoustics problem. First part of this article describes the acoustic field and hence the uses of acoustic point sources in ANSYS. Results are explained and compared with that of analytical solution. And second part deals w...

Priorities for Modeling and Verifying Distributed Systems

This paper illustrates the use of priorities in process algebras by a real-world example dealing with the design of a safety-critical network which is part of a railway signaling system. Priorities in process algebras support an intuitive modeling of distributed systems since undesired interleavings can be suppressed. This fact also leads to a substantial reduction of the sizes of models. We ha...

Modeling and Verifying Abstract Multithreaded Systems

Multithreaded systems consist of programs (threads), an operating system and one or more processors. We describe abstraction techniques from programs, the operating system and processors to extract a finite state machine that reflects the thread manager in its system context. To assure the correctness and fairness of the concurrent execution, we apply common verification techniques, in particul...